Skip to content

fix: add port errors surfaced for deterministic error type checking#21

Merged
shaur-k merged 1 commit into
mainfrom
port-errors-surfaced
Apr 24, 2026
Merged

fix: add port errors surfaced for deterministic error type checking#21
shaur-k merged 1 commit into
mainfrom
port-errors-surfaced

Conversation

@shaur-k

@shaur-k shaur-k commented Apr 24, 2026

Copy link
Copy Markdown

@shaur-k shaur-k self-assigned this Apr 24, 2026

@griswaldbrooks griswaldbrooks left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems reasonable to me. I do wonder if the gtest could be parameterized, but I won't block on that.

@shaur-k shaur-k added this pull request to the merge queue Apr 24, 2026
Merged via the queue into main with commit 4f23bc2 Apr 24, 2026
8 checks passed
@JWhitleyWork JWhitleyWork deleted the port-errors-surfaced branch April 24, 2026 17:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants